Asynchrony and persistence in reaction systems

Reaction systems are a model of interactive computation, where the interaction between system — itself built up number reactions and its environment is modelled through context sequences provided by environment. The standard execution semantics reaction synchronous, i.e., at each computational step all enabled executed. In this paper, we ‘de-synchronise’ such an allowing only subset to be We then study resulting asynchronous assuming two fundamental policies. first one allows any executed, second draws from pre-defined pool. also introduce discuss notion persistence sets in models systems. particular, demonstrate that can implemented.